In this paper, many new explicit and exact travelling wave solutions for Burgers-Kolmogorov-Petrovskii-Piscounov(Burgers......

<正>引言考虑2-齐次多项式集合p,两组变量分别记为x=(x_1,…,x_n)与y=(y_1,…,y_m),p的零点集zero(p)为有限点集,利用吴消元法([7]......

Based on the mechanized mathematics and WU Wen-tsun elimination method,using oil film forces of short-bearing model and ......